Non-forking frames in abstract elementary classes
نویسندگان
چکیده
منابع مشابه
Forking in short and tame abstract elementary classes
We develop a notion of forking for Galois-types in the context of Abstract Elementary Classes (AECs). Under the hypotheses that an AEC K is tame, type-short, and failure of an order-property, we consider Definition 1. Let M0 ≺ N be models from K and A be a set. We say that the Galois-type of A over N does not fork over M0, written A^ M0 N , iff for all small a ∈ A and all small N− ≺ N , we have...
متن کاملOn the uniqueness property of forking in abstract elementary classes
In the setup of abstract elementary classes satisfying a local version of superstability, we prove the uniqueness property for μ-forking, a certain independence notion arising from splitting. This had been a longstanding technical difficulty when constructing forking-like notions in this setup. As an application, we show that the two versions of forking symmetry appearing in the literature (the...
متن کاملQuasiminimal abstract elementary classes
We propose the notion of a quasiminimal abstract elementary class (AEC). This is an AEC satisfying four semantic conditions: countable Löwenheim-Skolem-Tarski number, existence of a prime model, closure under intersections, and uniqueness of the generic orbital type over every countable model. We exhibit a correspondence between Zilber’s quasiminimal pregeometry classes and quasiminimal AECs: a...
متن کاملSuperstability in abstract elementary classes
We prove that several definitions of superstability in abstract elementary classes (AECs) are equivalent under the assumption that the class is stable, tame, has amalgamation, joint embedding, and arbitrarily large models. This partially answers questions of Shelah. Theorem 0.1. Let K be a tame AEC with amalgamation, joint embedding, and arbitrarily large models. Assume K is stable. Then the fo...
متن کاملIndependence in abstract elementary classes
We study general methods to build forking-like notions in the framework of tame abstract elementary classes (AECs) with amalgamation. We show that whenever such classes are categorical in a high-enough cardinal, they admit a good frame: a forking-like notion for types of singleton elements. Theorem 0.1 (Superstability from categoricity). Let K be a (< κ)-tame AEC with amalgamation. If κ = iκ > ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2013
ISSN: 0168-0072
DOI: 10.1016/j.apal.2012.09.007